-
1 numeralwise decidable formula
Математика: нумерически разрешимая формулаУниверсальный англо-русский словарь > numeralwise decidable formula
-
2 numeralwise decidable formula
English-Russian scientific dictionary > numeralwise decidable formula
-
3 decidable
разрешимый effectively decidable function ≈ эффективно разрешимая функция effectively decidable predicate ≈ эффективно разрешимый предикат effectively decidable relation ≈ эффективно разрешимое отношение formally decidable formula ≈ формально разрешимая формула numeralwise decidable formula ≈ нумерически разрешимая формула numeralwise decidable function ≈ нумерически разрешимая функция numeralwise decidable predicate ≈ нумерически разрешимый предикат - completely decidable - decidable algebra - decidable arithmetic - decidable formula - decidable language - decidable predicate - decidable proposition - decidable relation - decidable sentence - decidable set - decidable statement - decidable system - decidable theor - effectively decidable - formally decidable - numeralwise decidable - partially decidable разрешимый - * set (математика) разрешимое множествоБольшой англо-русский и русско-английский словарь > decidable
-
4 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
5 нумерически разрешимая формула
Русско-английский научно-технический словарь Масловского > нумерически разрешимая формула
-
6 нумерически разрешимая формула
Mathematics: numeralwise decidable formulaУниверсальный русско-английский словарь > нумерически разрешимая формула
-
7 predicate
логика1) предикат, сказуемое || предикатный2) утверждение || утверждать•
Перевод: со всех языков на все языки
со всех языков на все языки- Со всех языков на:
- Все языки
- Со всех языков на:
- Все языки
- Английский
- Русский